频域盲源分离的非圆信号推广

作为盲源分离（BSS）问题的最有效解决方法之一,独立分量分析（ICA）算法可以分为时域和频域算法两类.将时域盲源分离的快速算法推广到频域,通过在频域中应用非圆信号的伪协方差矩阵,推导出一个新的固定点算法来解决线性瞬时混合的非圆信号盲源分离（BNSS）问题.仿真实验验证了该算法的有效性.     

非线性边界条件的Burgers－KdV方程的静态解

对几类非线性边值条件，讨论了Ｂｕｒｇｅｒｓ－ＫｄＶ方程的边值问题的静态解的存在性和解的个数．借助不动点定理，证明了该边值问题至少有一个，至多有有限个静态解．     

一种膨胀映射的不动点定理

王尚志给出了若干种膨胀映射的概念，并证明了它们的不动点存在定理。对其中第一型膨胀映射的不动点定理做了进一步推广。     

小型固定点装置温坪性能研究

给出了锡点、锌点和铝点三个小型固定点装置的垂直温场调节方法和温坪复现方法,并对调节前后的温屏曲线进行了比较。该小型固定点装置温坪曲线特性满足现有国家计量检定规程对于检定二等标准铂电阻温度计和精密级铂电阻温度计的要求。     

第Ⅱ、Ⅲ型膨胀映射的不动点定理

3种膨胀映射的定义及其相应的不动点定理是由王尚志等首先提出和建立的。之后，何松年对第一型膨胀映射的不动点定理做了进一步讨论，现报道膨胀映射不动点定理研究工作的继续和深入。着重进一步研究第二型和第三型膨胀映射的不动点定理，给出了两个理论上更深刻、应用上更方便的新结果。     

估计理论在飞行数据相容性检验中的应用

飞行数据相容性检验在飞行试验数据分析中是很重要的。由于飞行试验测量数据中存在着各种过程噪声(如大气紊流)和测量噪声(如尺度因子偏差、常值系统偏差等),这些误差将会导致飞行数据各通道之间不相容。利用估计理论进行飞行状态估计,同时估计出未知的尺度因子,系统偏差,即进行飞行轨迹重构被认为是飞行数据相容性(一致性)检验的强有力的工具。本文利用推广卡尔曼滤波和信息平方根滤波及平滑进行高速飞机飞行数据的相容性检验,提出了飞机纵向运动和全面运动的新模型,通过仿真和实际计算得出满意的结果。     

基于固定区间最优平滑的传递对准精度评估

惯导系统传递对准是战术导弹发射前必须完成的任务,其对准精度直接影响导弹系统的制导精度。为评估传递对准精度性能,在介绍传递对准精度评估原理的基础上,研究了Kalman固定区间最优平滑算法;并从理论上分析了顺序滤波与逆序平滑的关系,得出平滑依赖于滤波的结论。通过实测数据半物理仿真试验证明了理论分析的正确性,表明固定区间最优平滑算法能有效地评估传递对准精度,并与间接法对比得出间接法与最优平滑算法具有一致性。     

基于改进定点二乘的重复使用助推飞行器控制分配研究

为适应重复使用助推飞行器(RBV)控制精度和控制可靠性等要求,导致多异类执行机构数量的急剧增加,而各执行机构偏转角、偏转角速率和非连续工作方式的限制影响控制效果。为满足该类飞行器控制系统实时性和控制精度等需求,需要研究计算精度、计算效率更高的控制分配(CA)方法。根据每次迭代所需的浮点运算量,在比较基于二次规划的控制分配算法计算效率的基础上,首先,利用最小代价函数关系将传统定点(FP)二乘优化算法转化为二次规划问题,并给出传统定点二乘优化方法最优解应满足的条件;然后,针对执行机构饱和情况,提出了改进定点(IFP)二乘的控制分配算法以提高计算效率,同时给予详细的推导证明,并基于迭代常数映射的特性,以相邻时刻控制量差的范数达到相关要求给出改进算法的迭代终止条件;最后,基于多种控制分配算法,对所提出的控制分配算法进行了比较仿真,验证该算法的有效性和合理性。     

全变差正则化方法对一类热传导反问题的应用

热传导终端反问题是典型的不适定问题,应用基于全变差的正则化方法来获得它的稳定数值解,将近似解的求解范围由连续函数空间扩大到了有界变差函数空间,并将固定点迭代法用于求解非线性的Euler方程,并进行了理论分析和数值实验。结果表明:该方法与算法具有高效稳定全局收敛等优点。     

U-D分解的固定点平滑新算法及其在飞行试验中的应用

 本文根据Rauch固定点平滑公式,提出了一种U-D分解的固定点平滑新算法。这一算法不仅具有良好的数值稳定性和可靠性,而且计算量较少;计算效率是Bryson-Ho Y C固定点平滑计算效率的1.5倍以上。将这种新算法用于飞机运动状态初值的确定,提高了飞机气动参数辨识精度。